Software–hardware Systems Translation of Algebraic Programs into Executable Codes
نویسنده
چکیده
SOFTWARE–HARDWARE SYSTEMS TRANSLATION OF ALGEBRAIC PROGRAMS INTO EXECUTABLE CODES S. V. Goncharov and A. Ye. Rudich UDC 519.681.3 An approach to the problem of translation of algebraic programs into executable codes is presented. In particular, an algorithm for translation of algebraic programs represented in the language Aplan into C codes is proposed. An algorithm of reconstruction of types in Aplan is considered that also checks the absence of features used for dynamic specification of procedures in a code.
منابع مشابه
Aspect-oriented Software Design
Aspect-oriented programming (AOP) has received considerable interest, in particular as an extension of object-oriented programming. However, current object-oriented software design techniques, such as UML, are not well suited to cope with aspect orientation. In this paper we discuss a design approach, called CoCompose, which supports aspect orientation and software evolution. The CoCompose desi...
متن کاملA Behavior-preserving Translation from Fbd Design to C Implementation for Reactor Protection System Software
Safety [1] is an important property for nuclear power plants in order to obtain permission from government authorities for their operation and possible export of power plant construction technology. As the nuclear reactor protection system (RPS) makes decisions for emergent reactor shutdown, RPS software should be verified throughout the entire software development life cycle (SDLC). Recent com...
متن کاملReverse Engineering for Malicious Code Behavior Analysis using Virtual Security Patching
Computer hardware and Internet is growing so fast today, security threats of malicious executable code are getting more serious. Basically, malicious executable codes are categorized into three kinds – virus, Spam, Trojan horse, and worm. Current anti-virus products cannot detect all the malicious codes, especially for those unseen, polymorphism malicious
متن کاملAutomatic translation of PARADIGM models into PLTL-based programs
Software systems have evolved from monolythic programs to systems constructed from parallel, cooperative components, as can be currently found in objectoriented applications. Although powerfull, these cooperative systems are also more difficult to verify. We show it is possible to automatically translate PARADIGM models into a Propositional Linear Temporal Logic based program. This has several ...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کامل